Predicate logic - PDFSEARCH.IO - Document Search Engine

Predicate logic
Results: 1102

#	Item
311	Answer Set Programming with Functions Add to Reading List Source URL: www.cs.ust.hk Language: English - Date: 2008-06-17 04:53:47 Model theory Logic programming Predicate logic Functions and mappings Answer set programming Stable model semantics First-order logic Function Modal logic Logic Mathematical logic Mathematics
312	Journal of Articial Intelligence Research286 Submitted 10/14; publishedLazy Model Expansion: Interleaving Grounding with Search Add to Reading List Source URL: www.jair.org Language: English - Date: 2015-02-25 01:32:20 Model theory Propositional calculus Logic programming Predicate logic Interpretation Philosophy of mind FO Literal Structure Mathematical logic Logic Mathematics
313	Dynamic Logic in ACG: discourse anaphora and scoping islands Logical Methods for Discourse Nancy, December 15, 2009 Add to Reading List Source URL: okmij.org Language: English - Date: 2009-12-15 18:20:05 Philosophical logic Predicate logic Donkey Mule Analytic philosophy Logic Semantics Quantification
314	On wh-exclamatives and noteworthiness? Anna Chernilovskaya and Rick Nouwen Utrechts Instituut voor Lingu¨ıstiek 1 Add to Reading List Source URL: ricknouwen.org Language: English - Date: 2012-02-06 05:04:07 Grammar Mathematical logic Model theory Predicate logic Interpretation Philosophy of language Quantification Function Predicate Semantics Logic Linguistics
315	ORM 2 Constraint Verbalization: Part 1 Add to Reading List Source URL: www.orm.net Language: English - Date: 2006-07-30 13:54:40 Data modeling Programming paradigms Abstraction Object-Role Modeling Predicate Modal logic Norm Finitary relation Logic Mathematical logic Mathematics
316	Open Research Online The Open University’s repository of research publications and other research outputs Expressing OWL axioms by English sentences: dubious in theory, feasible in practice Conference Item Add to Reading List Source URL: oro.open.ac.uk Language: English - Date: 2012-12-06 09:52:07 Semantic Web Information science Knowledge representation Technical communication Predicate logic Web Ontology Language Axiom Functor Ontology Mathematics Science Logic
317	Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) VeriTech - A Framework for Translating among Model Description Notations Orna Grumberg and Shmuel Katz Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2005-11-29 05:50:59 Electronic engineering Formal methods Predicate logic Hardware description languages Construction and Analysis of Distributed Processes Formal verification State transition system Model checking Petri net Models of computation Theoretical computer science Concurrency
318	Toward an Architecture for Never-Ending Language Learning Andrew Carlson1 , Justin Betteridge1 , Bryan Kisiel1 , Burr Settles1 , Estevam R. Hruschka Jr.2 , and Tom M. Mitchell1 1 School of Computer Science, Carnegie Mel Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2010-04-14 11:14:29 Semantics Machine learning Coupled pattern learner Natural language processing Learning Computational linguistics Predicate Word-sense disambiguation Truth Logic Science Linguistics
319	Abductive Logic Programming by Nonground Rewrite Systems Fangzhen Lin Jia-Huai You Department of Computer Science Add to Reading List Source URL: www.cs.ust.hk Language: English - Date: 2008-04-09 23:20:46 Predicate logic Model theory Quantification First-order logic Structure Integration by substitution FO Function Abductive logic programming Logic Mathematics Mathematical logic
320	A Really RAJEEV Stanford Temporal Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-03-05 16:49:09 Philosophical logic Predicate logic Logical syntax FO Well-formed formula Method of analytic tableaux Constructible universe Temporal logic Universal quantification Logic Mathematical logic Quantification

UPDATE